<!doctype html>
<meta charset=utf8>

<h1>A Public Space on the Web</h1>

<p>This is a self-editing website. Select a file, edit it, and save to
update the website.</p>

<p>Files: <select id="filelist"></select></p>

<p>
  <textarea id="file" style="width: 100%; height: 300px"></textarea>
  <br>
  <button onclick="saveFile()">Save</button>
</p>

<script src="public_space.js"></script>
